Nuprl Definition : merge
11,40
postcript
pdf
merge(
as
;
bs
) == reduce((
b
,
l
. s-insert(
b
;
l
));
as
;
bs
)
latex
Definitions
s-insert(
x
;
l
)
,
reduce(
f
;
k
;
as
)
FDL editor aliases
merge
origin
b,l. s-insert(b; l)); as; bs) b,l. s-insert(b; l)); as; bs)